Gordon Plotkin: mencari di tapak web Z-Library

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Akses percuma kepada pengetahuan dan budaya.

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024

Z-Library - salah satu perpustakaan dalam talian terbesar di dunia yang menyimpan lebih daripada 17,000,000 buku dan 84,837,000 artikel. Kami bertujuan untuk buku boleh diakses oleh semua orang. Hari ini (15 hb September 2024) kami memulakan pengumpulan dana tambahan untuk menyokong dan mengembangkan projek.

Tambah lagi muat turun TANPA HAD (untuk 31 hari sejak menghantar sumbangan) boleh diakses oleh SEMUA pengguna yang menyumbangkan selama tempoh pengumpulan sumbangan hingga 1 hb Oktober 2024.

Mengenai pengumpulan sumbanganBaca lebih lanjut

Buku (15)
Yang paling popular
Senarai
- Senarai
- Jadual

1

Logical frameworks

Logical frameworks

Cambridge University Press

Gèrard Huet, Gordon Plotkin

Tahun:

1991

Bahasa:

english

Fail:

PDF, 4.28 MB

0 / 0

english, 1991

2

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Cambridge University Press

Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin

Tahun:

2009

Bahasa:

english

Fail:

PDF, 4.04 MB

0 / 0

english, 2009

3

Transactions on Computational Systems Biology VI

Transactions on Computational Systems Biology VI

Springer-Verlag Berlin Heidelberg

Pierre-Yves Bourguignon, Vincent Danos (auth.), Corrado Priami, Gordon Plotkin (eds.)

Tahun:

2006

Bahasa:

english

Fail:

PDF, 4.42 MB

0 / 0

english, 2006

4

Proof, Language, and Interaction: Essays in Honour of Robin Milner

Proof, Language, and Interaction: Essays in Honour of Robin Milner

Gordon Plotkin, Colin P. Stirling, Mads Tofte

Tahun:

2000

Bahasa:

english

Fail:

DJVU, 6.43 MB

0 / 0

english, 2000

5

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

Tahun:

1995

Bahasa:

english

Fail:

DJVU, 3.54 MB

0 / 0

english, 1995

6

Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Gordon Plotkin (auth.), Takayasu Ito, Albert R. Meyer (eds.)

Tahun:

1991

Bahasa:

english

Fail:

DJVU, 6.07 MB

0 / 0

english, 1991

7

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Cambridge University Press

Yves Bertot, Gerard Huet, Jean-Jacques Levy & Gordon Plotkin (edt)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 4.04 MB

0 / 0

english, 2009

8

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.)

Tahun:

2001

Bahasa:

english

Fail:

PDF, 4.71 MB

0 / 0

english, 2001

9

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Gordon Plotkin (auth.), Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 5.60 MB

0 / 0

english, 2009

10

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Gordon Plotkin (auth.), Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 5.54 MB

0 / 0

english, 2009

11

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

Springer-Verlag Berlin Heidelberg

R. Burstall, B. Lampson (auth.), Gilles Kahn, David B. MacQueen, Gordon Plotkin (eds.)

Tahun:

1984

Bahasa:

english

Fail:

DJVU, 4.16 MB

0 / 0

english, 1984

12

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.)

Tahun:

2001

Bahasa:

english

Fail:

PDF, 3.77 MB

0 / 0

english, 2001

13

Transactions on Computational Systems Biology VI

Transactions on Computational Systems Biology VI

Springer-Verlag Berlin Heidelberg

Pierre-Yves Bourguignon, Vincent Danos (auth.), Corrado Priami, Gordon Plotkin (eds.)

Tahun:

2006

Bahasa:

english

Fail:

PDF, 3.08 MB

0 / 0

english, 2006

14

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

Springer-Verlag Berlin Heidelberg

R. Burstall, B. Lampson (auth.), Gilles Kahn, David B. MacQueen, Gordon Plotkin (eds.)

Tahun:

1984

Bahasa:

english

Fail:

PDF, 8.89 MB

0 / 0

english, 1984

15

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

Tahun:

1995

Bahasa:

english

Fail:

PDF, 6.89 MB

0 / 0

english, 1995